key(${\it tab}$;$n$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(((${\it tab}$.2.2)($n$)).2).1